UPDATE 3-U.S. October crude oil production sets record high -EIA  ReutersU.S. crude oil output hit an all-time high of more than 11.5 million barrels per day in October, according to government data released on Monday. Read more https://uk.reuter …